Probabilistic and Logical Beliefs
نویسندگان
چکیده
This paper proposes a method of integrating two different concepts of belief in artificial intelligence: belief as a probability distribution and belief as a logical formula. The setting for the integration is a highly expressive logic. The integration is explained in detail, as its comparison to other approaches to integrating logic and probability. An illustrative example is given to motivate the usefulness of the ideas in agent applications.
منابع مشابه
Group Decision Making via Probabilistic Belief Merging
We propose a probabilistic-logical framework for group decision-making. Its main characteristic is that we derive group preferences from agents’ beliefs and utilities rather than from their individual preferences as done in social choice approaches. This can be more appropriate when the individual preferences hide too much of the individuals’ opinions that determined their preferences. We intro...
متن کاملLogical omniscience and rational choice
It is well-known that usual doxastic models (epistemic logic, probability) suffer from strong idealizations. By extension, models of decision making that elaborate on these doxastic models (e.g., models of choice under set-theoretic uncertainty ([LR85], chap.13) and the expected utility model) inherit these idealizations. To improve doxastic models is therefore an important aspect of bounded ra...
متن کاملReasoning about Probabilities in Unbounded First-Order Dynamical Domains
When it comes to robotic agents operating in an uncertain world, a major concern in knowledge representation is to better relate high-level logical accounts of belief and action to the low-level probabilistic sensorimotor data. Perhaps the most general formalism for dealing with degrees of belief and, in particular, how such beliefs should evolve in the presence of noisy sensing and acting is t...
متن کاملExplorer Reasoning about Probabilities in Unbounded First - Order
When it comes to robotic agents operating in an uncertain world, a major concern in knowledge representation is to better relate high-level logical accounts of belief and action to the low-level probabilistic sensorimotor data. Perhaps the most general formalism for dealing with degrees of belief and, in particular, how such beliefs should evolve in the presence of noisy sensing and acting is t...
متن کاملReasoning about Noisy Sensors and Eeectors in the Situation Calculus
Agents interacting with an incompletely known world need to be able to reason about the eeects of their actions, and to gain further information about that world they need to use sensors of some sort. Unfortunately, both the eeects of actions and the information returned from sensors are subject to error. To cope with such uncertainties , the agent can maintain probabilistic beliefs about the s...
متن کامل